$\forall$$p$:PosetSig. (=$_{b}$) $\in$ $\mid$$p$$\mid\rightarrow\mid$$p$$\mid\rightarrow\mathbb{B}$